логический алгоритм

См. также в других словарях:

• логический алгоритм — алгоритм решения логических задач — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы алгоритм решения логических задач EN logical algorithm …   Справочник технического переводчика

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

• логический прием — ▲ способ ↑ логический дедукция. дедуктивный. анализ. анализировать. аналитический. формализация описание явления в точных понятиях и утверждениях. уточнение. | комбинирование. уравнение. система уравнений. решение уравнения. алгоритм.… …   Идеографический словарь русского языка

• Camellia (алгоритм) — У этого термина существуют и другие значения, см. Camellia (значения). Camellia Создатель: Mitsubishi, NTT Создан: 2000 г. Опубликован: 2000 г. Размер ключа: 128, 192 или 256 бит Размер блока: 128 бит Число раундов …   Википедия

• программируемый логический контроллер — ПЛК [Интент] контроллер Управляющее устройство, осуществляющее автоматическое управление посредством программной реализации алгоритмов управления. [Сборник рекомендуемых терминов. Выпуск 107. Теория управления. Академия наук СССР. Комитет научно… …   Справочник технического переводчика

• Инвертор (логический элемент) — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 …   Википедия

• Пивоваров, Даниил Валентинович — Даниил Валентинович Пивоваров Дата рождения: 29 октября 1943(1943 10 29) (69 лет) Место рождения: Шанхай, Китай Страна …   Википедия

• ВЕРИФИКАЦИЯ — (позднелат. verificatia подтверждение; лат. verus истинный, facio делаю) логико методологическая процедура установления истинности научной гипотезы (равно как и частного, конкретно научного утверждения) на основе их соответствия эмпирическим… …   Социология: Энциклопедия

• ШЛИК — (Schlick) Мориц (1882 1936, застрелен бывшим своим студентом психопатом на лестнице в здании университета) австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с …   История Философии: Энциклопедия

• ШЛИК Мориц (1882-1936) — австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с 1922), в Калифорнийском университете (1931 1932), ведущий представитель раннего этапа логического… …   История Философии: Энциклопедия

• Циклическая проверка на чётность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC  циклический избыточный код)  способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… …   Википедия